Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which the Element illustrates by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ont...(展开全部)

作者简介： 苏珊·巴什拉（Suzanne Bachelard，1919—2007），法国哲学家，著名科学哲学家、诗人加斯东·巴什拉的女儿，著有《胡塞尔的逻辑学：<形式逻辑与先验逻辑>研究》《理性的良知》，编辑出版了其父的遗作《火之诗学的残篇》。她是胡塞尔的《形式逻辑与先验逻辑》一书的首位法文译者，曾任教于巴黎索邦大学、巴黎高师和里尔文学院，雅克·德里达做过其助手。 - 译者简介： 张浩军，甘肃武威人，中国人民大学哲学博士（2008），德国科隆大学胡塞尔档案馆访问学者（2014.8—2015.8），美国天主教大学哲学院、价值与文化研究中心访问学者（2011.4—2012.4）；现任中国政法大学哲学系教授，博士生导师，人文学院副院长兼哲学系主任，主要从事现象学、现象学与分析哲学的比较研究，在《胡塞尔研究》（Husserl Studies）、《哲学研究》等...(展开全部)

作者简介： 苏珊·巴什拉（Suzanne Bachelard，1919—2007），法国哲学家，著名科学哲学家、诗人加斯东·巴什拉的女儿，著有《胡塞尔的逻辑学：<形式逻辑与先验逻辑>研究》《理性的良知》，编辑出版了其父的遗作《火之诗学的残篇》。她是胡塞尔的《形式逻辑与先验逻辑》一书的首位法文译者，曾任教于巴黎索邦大学、巴黎高师和里尔文学院，雅克·德里达做过其助手。 - 译者简介： 张浩军，甘肃武威人，中国人民大学哲学博士（2008），德国科隆大学胡塞尔档案馆访问学者（2014.8—2015.8），美国天主教大学哲学院、价值与文化研究中心访问学者（2011.4—2012.4）；现任中国政法大学哲学系教授，博士生导师，人文学院副院长兼哲学系主任，主要从事现象学、现象学与分析哲学的比较研究，在《胡塞尔研究》（Husserl Studies）、《哲学研究》等...(展开全部)

2 called in question, then naturally no fact, science, could be presupposed. Thus Plato was set on the path to the pure idea. Not gathered from the de facto sciences but formative of pure norms, his dialectic of pure ideas - as we say, his logic or his theory of science - was called on to make genuine 1 science possible now for the first time, to guide its practice. And precise...(展开全部)

This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects, including set theory, pr...(展开全部)

This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects, including set theory, pr...(展开全部)

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of th...(展开全部)

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the lang...(展开全部)

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of th...(展开全部)